Skip to content

Add auto-close PR workflow for old PRs.#825

Merged
jhnwu3 merged 1 commit intomasterfrom
add/pr_workflow
Feb 6, 2026
Merged

Add auto-close PR workflow for old PRs.#825
jhnwu3 merged 1 commit intomasterfrom
add/pr_workflow

Conversation

@jhnwu3
Copy link
Collaborator

@jhnwu3 jhnwu3 commented Feb 6, 2026

Title.

@jhnwu3 jhnwu3 merged commit 41082b9 into master Feb 6, 2026
1 check passed
@jhnwu3 jhnwu3 deleted the add/pr_workflow branch February 6, 2026 21:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant